Lattice valued identities ˇ selja and A. Tepavˇcevi´c B. Seˇ Blast 2010 Boulder, June 6., 2009.

Source URL: spot.colorado.edu

• Algebra
• Abstract algebra
• Mathematics
• Lattice theory
• Algebraic structures
• Crystallography
• Lattice
• Complete lattice
• Brillouin zone

Characterizing algebras and varieties by weak congruence lattices and open problems ˇ selja Andreja Tepavˇcevi´c and Branimir Seˇ Department of Mathematics and Informatics, Faculty of Sciences

Source URL: spot.colorado.edu

• Lie groups
• Algebra
• Lattice theory
• Congruence relation
• Modular arithmetic
• Compact element
• Quotient algebra
• Congruence
• Lattice
• Congruence lattice problem
• Distributive homomorphism

Denitions and construction Topologies on canonical extensions Subspace topologies Canonical extensions of lattices Andrew Craig

Source URL: spot.colorado.edu

• Lattice theory
• Lattice
• Complete lattice
• Dual space
• Distributive lattice
• Topological space
• Congruence lattice problem

Generalizing Permissive-Upgrade in Dynamic Information Flow Analysis Abhishek Bichhawat∗ , Vineet Rajani† , Deepak Garg† , Christian Hammer∗ ∗ Saarland University, {bichhawat,hammer}@cs.uni-saarland.de † MPI-

Source URL: software.imdea.org

• Algebra
• Abstract algebra
• Mathematics
• Algebraic structures
• Information flow
• Information theory
• Lattice
• Lattice theory

Lattice supersymmetric Korteweg de Vries equation, Bilinear formalism, solutions and reductions to super-QRT mappings Adrian Stefan Carstea Geometry and Physics group (GAP), DFT-IFIN, Bucharest

Source URL: events.theory.nipne.ro

Chu Spaces Vaughan Pratt Stanford University Notes for the School on Category Theory and Applications University of Coimbra

Source URL: chu.stanford.edu

• Algebraic structures
• Chu space
• Semilattice
• Boolean algebra
• Structure
• Homomorphism
• Partially ordered set
• Lattice
• Adjoint functors
• Binary relation
• Isomorphism
• Dual space

Near-critical scaling limits in 2d statistical physics Christophe Garban (Université Lyon 1), Gabor Pete (Alfréd Rényi Institute of Mathematics and Budapest University of Technology & Economics) The general problem ad

Source URL: www.7ecm.de

• Mathematics
• Academia
• Quantum field theory
• Oded Schramm
• Lattice models
• Critical phenomena
• Combinatorics
• Phase transitions
• Renormalization group
• Ising model
• Percolation
• Oded

Race Detection in Two Dimensions Dimitar Dimitrov Martin Vechev Vivek Sarkar

Source URL: www.srl.inf.ethz.ch

• Graph theory
• Planar graphs
• Graph connectivity
• Series-parallel graph
• Graph
• Reachability
• Lattice graph
• Topological sorting
• Trapezoid graph

Chapter 1 From Particles to Fields The aim of this section is to introduce the language and machinery of classical and quantum field theory through its application to the problem of lattice vibrations in a solid. In doin

Source URL: www.tcm.phy.cam.ac.uk

Uniform Interpolation and Compact Congruences Samuel J. van Gool1 , George Metcalfe2 , and Constantine Tsinakis3 1 Department of Mathematics, University of Milan

Source URL: logica.dmi.unisa.it

• Algebra
• Mathematics
• Abstract algebra
• Algebraic logic
• Lattice theory
• Algebraic structures
• Fuzzy logic
• Adjoint functors
• Boolean algebra
• Heyting algebra
• Universal property
• MV-algebra